• modal logic
• modal logics

modal logic (suomeksi)

Määritelmät:

• (lb, en, logic) Any formal system that attempts to deal with modality, modalities, such as possibility and necessity, but also obligation and permission.